Integrated and Tool-Supported Teaching of Testing, Debugging, and Verification
نویسندگان
چکیده
This paper reports about the design, implementation, and experiences with a non-traditional formal methods course called “Testing, Debugging, and Verification”. The course aims at integrating formal and informal methods as much as possible. It is supposed to be accessible to participants without extensive mathematical training.
منابع مشابه
FPGA Verification Module
This paper addresses verification and debugging tool for development of FPGA modules. Proposed tool is developed for educational purposes in teaching students on Digital Design and VHDL programming language. Main goal of the debugging module is to get/set signal values while the FPGA board is running the module of interest. Two PicoBlaze CPUs are used in order to synchronize the input and outpu...
متن کاملAn Educational Logic Tool for the Formal Verification, Design by Contract, and Algorithmic Debugging of Imperative Programs
While logic plays an important role in several areas of Computer Science (CS) and Software Engineering (SE), most of the educational technology developed for teaching logic ignores their application in a more large portion of the CS and SE education domain. In this paper we describe an innovative methodology based on a prototype logic teaching tool on semantic tableaux to prepare and train the ...
متن کاملTeaching Novices Programming with Core Language and Dynamic Visualisation
This paper attempts to explore a new method to improve the teaching of computer programming for beginners at tertiary level. It begins with a change of approach to teaching and then to a mix of basic theory and practice. It then finds a core language, which simplified the scope of programme design and implementation. Dynamic visualisation technique was used as a supplementary tool in programme ...
متن کاملSupporting interactive invocation of remote services within an integrated programming environment
Building distributed systems is an inherently difficult and complex task. Modern middleware architectures assist developers by providing abstractions that hide transport layer functionality. This paper argues that the development of such systems can be aided by the availability of appropriate, integrated tools. We discuss ways in which the building of such systems can be supported by developmen...
متن کاملPublication III
This article describes a study of the defects in the programs students have written as solutions for the programming assignments in a concurrent programming course. I describe the underlying causes of these defects and the applications in developing teaching, grading and debugging of this information. I present the effects of the students’ approaches to constructing and testing programs on thei...
متن کامل